21. Frege and other philosophers
پدیدآورنده : Dummett, Michael
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,Influence ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B3245
.
F24
D865
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
22. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Frege, Gottlob,8481-5291,Influence. ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical.,، Analysis )Philosophy(
رده :
B
3245
.
F24D9
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
23. Frege and other philosophers
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Frege, Gottlob, 8481-5291,Influence ، Frege, Gottlob, 8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24D86
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
24. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
25. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
![](/design/images/bookmore.png)
26. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
27. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Mathematical analysis,Logic, symbolic and mathematical
رده :
QA300
.
M86
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
28. Introductory real analysis
پدیدآورنده : Munroe, Marshall Evans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
29. Introductory real analysis
پدیدآورنده : Munroe, M. Evans)Marshall Evans(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
30. Introductory real analysis
پدیدآورنده : Munroe, M. Evans)Marshall Evans(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
31. Lectures on non-standard analysis
پدیدآورنده : Machover, Moshe
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical,، Uniform spaces
رده :
QA
3
.
L28
no
.
94
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
32. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
33. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
34. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده : Stephen G. Simpson, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
35. Non-standard analysis
پدیدآورنده : Robinson, Abraham
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
36. Non-standard analysis
پدیدآورنده : Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
R6
1974
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
37. Nonstandard logics and nonstandard metrics in physics
پدیدآورنده : Honig, William M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical,، Metric spaces,، Mathematical physics
رده :
QC
20
.
7
.
A5
.
H66
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
38. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed
پدیدآورنده : Kung, Guido
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
39. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
40. Propositions, functions, and analysis : selected essays on Russell's philosophy
پدیدآورنده : Hylton, Peter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Russell, Bertrand, 2781-0791,History -- 02th century ، Analysis )Philosophy(,History -- 02th century ، Logic, Symbolic and mathematical
رده :
B
1649
.
R94H94
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)